Extending Baire property by uncountably many sets

We prove that if ZFC is consistent so is ZFC + “for any sequence (An) of subsets of a Polish space 〈X, τ〉 there exists a separable metrizable topology τ ′ on X with B(X, τ) ⊆ B(X, τ ′), MGR(X, τ ′) ∩ B(X, τ) = MGR(X, τ) ∩B(X, τ) and An Borel in τ ′ for all n.” This is a category analogue of a theorem of Carlson on the possibility of extending Lebesgue measure to any countable collection of sets. A uniform argument is presented, which gives a new proof of the latter as well. Some consequences of these extension properties are also studied.